Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
141	EVALUATORS FOR ATTRIBUTE GRAMMARS by Ralph Charles Merkle Add to Reading List Source URL: www.merkle.com Language: English - Date: 2010-09-09 17:54:39 Software engineering Computing Attribute grammar Formal grammar Parsing SYNTAX Context-free grammar Semantics of programming languages Van Wijngaarden grammar Formal languages Compiler construction Programming language implementation
142	Negative Concord in Georgian Aurore González Harvard University Negative Concord (NC) is a phenomenon refering to cases where multiple occurrences of morphologically negative constituents express semantically a single n Add to Reading List Source URL: eastcoastfive.files.wordpress.com Language: English - Date: 2015-03-24 10:40:03 Mathematics Negation Rhetoric Boolean algebra Double negative Language Logic programming Yes and no Grammar Semantics Linguistics
143	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types
144	Microsoft Word - AndreasGrimmer.docx Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2015-03-02 08:15:19 Soot Programming language implementation Static program analysis Programming language Compiler Analysis Semantics Software Computing McGill University
145	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
146	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 10 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:04:40 Logic in computer science Programming language semantics Quotient Remainder Divisor Denotational semantics Operational semantics Function Axiomatic semantics Mathematics Theoretical computer science Division
147	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
148	Towards xMOF: Executable DSMLs based on fUML∗ Tanja Mayerhofer Philip Langer Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-10-11 07:24:29 Computing Kermeta Metamodeling Operational semantics Programming language Semantics Profile Domain-specific modeling Modeling language Unified Modeling Language Software engineering Software
149	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing

UPDATE